首页> 外文OA文献 >Verifying Stateful Timed CSP using Implicit Clocks and Zone Abstraction

【2h】

Verifying Stateful Timed CSP using Implicit Clocks and Zone Abstraction

机译：使用隐式时钟和区域抽象验证有状态定时Csp

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jun Sun; Yang Liu; Jin Song Dong; Xian Zhang;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Modeling and Verifying Hierarchical Real-Time Systems Using Stateful Timed CSP [J] . JUN SUN, YANG LIU, JIN SONG DONG, ACM transactions on software engineering and methodology . 2013,第1期

机译：使用状态定时CSP建模和验证分层实时系统
2. On morphological clocks and paleophylogeography: towards a timescale for Sorex hybrid zones [J] . P. David Polly Genetica . 2001,第1期

机译：关于形态学时钟和古生物学：朝着Sorex杂种带的时间尺度发展
3. Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP [J] . Ming Zhu, Jing Li, Guodong Fan, Procedia Computer Science . 2018,第5期

机译：定时CSP建模与验证QoS感知Web服务组合的响应时间
4. Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction [C] . Jun Sun, Yang Liu, Jin Song Dong, Formal methods and software engineering . 2009

机译：使用隐式时钟和区域抽象来验证有状态定时CSP
5. Modular synthesis and verification of timed circuits using automatic abstraction. [D] . Zheng, Hao. 2001

机译：使用自动抽象对定时电路进行模块化综合和验证。
6. Implicit time-place conditioning alters Per2 mRNA expression selectively in striatum without shifting its circadian clocks [O] . Tenjin C. Shrestha, Karolína Šuchmanová, Pavel Houdek, -1

机译：隐式时间位置调节在不改变其生物钟的情况下选择性改变纹状体中Per2 mRNA的表达
7. Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus [O] . Bruni, Alessandro, Mödersheim, Sebastian Alexander, Nielson, Flemming, 2014

机译：状态协议的验证 - 应用pi-Calculus中基于集合的抽象

Verifying Stateful Timed CSP using Implicit Clocks and Zone Abstraction

著录项

引文网络

相似文献

相关主题

期刊订阅